Phoenix
Country:
- Asia > Macao (0.14)
- North America > Canada > Quebec > Montreal (0.04)
- North America > United States > Utah > Salt Lake County > Salt Lake City (0.04)
- (8 more...)
Technology:
Country:
- North America > United States > California > San Francisco County > San Francisco (0.28)
- Asia > Singapore (0.04)
- Asia > Indonesia > Bali (0.04)
- (17 more...)
Technology:
Country:
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (4 more...)
Towards General Loop Invariant Generation: A Benchmark of Programs with Memory Manipulation
We collect 312 programs from various sources, including daily programs from college homework, the international competition (SV -COMP), benchmarks from previous papers (SLING), and programs from real-world software systems (Linux Kernel, GlibC, LiteOS, and Zephyr).
Country:
- North America > United States > Florida > Pinellas County > St. Petersburg (0.04)
- North America > United States > California > Santa Barbara County > Santa Barbara (0.04)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (5 more...)
Genre:
- Research Report > New Finding (0.46)
- Instructional Material > Course Syllabus & Notes (0.46)
Country:
- North America > United States > Illinois > Cook County > Chicago (0.04)
- North America > United States > New York (0.04)
- North America > Jamaica (0.04)
- (4 more...)
Genre:
- Research Report > Experimental Study (1.00)
- Research Report > New Finding (0.67)
Industry:
- Banking & Finance (0.67)
- Information Technology > Services (0.46)
Technology:
Debiasing Conditional Stochastic Optimization Lie He
The sample-averaged gradient of the CSO objective is biased due to its nested structure, and therefore requires a high sample complexity for convergence. We introduce a general stochastic extrapolation technique that effectively reduces the bias.
Country:
- North America > Canada > Quebec > Montreal (0.04)
- Oceania > Australia > New South Wales > Sydney (0.04)
- North America > Canada > British Columbia > Vancouver (0.04)
- (5 more...)
Technology:
Country:
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- Europe > Sweden > Stockholm > Stockholm (0.04)
- Asia > China > Jiangsu Province > Nanjing (0.04)
- (13 more...)
Technology:
Country:
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- Europe > Sweden > Stockholm > Stockholm (0.04)
- Asia > China > Jiangsu Province > Nanjing (0.04)
- (13 more...)
Technology: Information Technology > Artificial Intelligence > Machine Learning > Statistical Learning (1.00)
Country:
- North America > United States > California > Alameda County > Berkeley (0.14)
- North America > United States > California > San Francisco County > San Francisco (0.14)
- North America > United States > Arizona > Maricopa County > Phoenix (0.04)
- (22 more...)
Technology:
Dueling Over Dessert, Mastering the Art of Repeated Cake Cutting
We consider two versions: sequential, where Bob observes Alice's cut
Country:
- Europe > Austria > Vienna (0.14)
- Europe > United Kingdom > England > Cambridgeshire > Cambridge (0.04)
- North America > United States > Maryland (0.04)
- (12 more...)
Industry:
- Energy (0.46)
- Education > Educational Setting > Online (0.45)
- Government (0.45)
Technology: